/*
 * receiverMachine.h
 *
 *  Created on: 24/nov/2009
 *      Author: Aleph3
 */

#ifndef RECEIVERMACHINE_H_
#define RECEIVERMACHINE_H_
#include "stateMachine.h"
typedef void UserBuffer;
uint32_t USER_BUFFER_getData3(uint32_t origine,UserBuffer* bufferOrigine, uint8_t* BufferDestinazione, uint32_t DimBufferDestinazione);
typedef struct{
	uint8_t jumboPacket[8];
	uint16_t indiceRichiesto;
	UserBuffer* bufferSorgente;
} ReceiverMachineBaseTransazione;
void stateMachineEventProcessor(ReceiverMachineBaseTransazione* trn,const Event* e);
#endif /* RECEIVERMACHINE_H_ */
